Let
φ be a group homomorphism from G to 
. Then the mapping
from G/Ker
φ to φ(G) given by 
is an isomorphism. In symbols, G/Ker φ
≈ φ(G).
Let
φ be a group homomorphism from G to . Then the mapping
from G/Ker
φ to φ(G) given by is an isomorphism. In symbols, G/Ker φ
≈ φ(G).